Church encoding
計算をするにあたって簡約を進めていっても必ずしもきれいになるとは限らない
しかし等価である
これを確かめるためにはeqを適用すればいい
論理値
if文
論理演算
自然数
succ, pred
四則演算
ゼロ判定
タプル
メモするときの記法についてmrsekut.icon
tex記法じゃなくて普通にλx.xで書いたほうが見やすい
これの方が見やすいしタイプ数が少ない
ただし$ =_\betaとかは書きづらい
命名は普通に二文字以上の文字列にしよう
truとか
数値は0で良い気がしてる
他の方法
参考